formal logic

By means of stretching back the predicate judgment and comparing with the traditional formal logic, Husserl showed us a more extensive field of pre-predicative experience.

通过将谓词判断的明见性追溯到前谓词的经验领域，胡塞尔向我们展现了一个比传统形式逻辑范围更加广泛的前谓词经验的领域。

The development of the modern formal logic has provided us with an untraditional way to be in search of truth.

现代形式逻辑的发展为我们提供了一种不同于传统的求真方式。

In the investigation, first, the description logic is used to express the syntax and semantic of domain ontology and to implement the formal translation of domain onto-logy.

首先采用描述逻辑表达领域本体的语法和语义，实现领域本体的形式化转换；

Modern formal logic holding guide ideology of the philosophy that is about dialectical materialism and object theory about logic reveals two independence of apodeictic relation about reasoning between premise and conclusion.

持辩证唯物论逻辑客体说哲学指导思想的当代形式逻辑揭示了推理的前提与结论间的必然关系的两个独立性。

And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

His analyses and interpretations of I Ching were also much of formal logic.

他对易之道德世界的分析与解释也是极其形式化的逻辑的.

Formal Logic and the Translation of Scientific English

形式逻辑与科技英语翻译

On the Basic Law Status of Implication Law in Formal Logic

论蕴涵规律在形式逻辑中的基本规律地位

You arrived at your conclusion using the methods of formal logic.

你这个结论是按照形式逻辑的方法推论出来的.

Model checking is a formal method for verifying the temporal logic properties of finite state systems.

模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。

The development of formal logic and its implementation in computing machinery is fundamental to computer science.

发展形式逻辑和其执行情况的计算机是计算机科学的基础。